Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
951	Implicit Hitting Set Problems, Multi-Genome Alignment and Colorful Connected Subgraphs Richard M. Karp CPM New York, June, 2010 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2010-08-20 17:45:40 Combinatorics Matroid theory Combinatorial optimization Set cover problem Matroid Feedback vertex set Maximum cut Greedy algorithm Mathematics Theoretical computer science NP-complete problems
952	CS109B Notes for LectureAutomata Systems often may be modeled by a nite set of states. The system is always in one state. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:51 Formal methods Powerset construction Finite-state machine Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
953	JOURNAL OF CHEMICAL PHYSICS VOLUME 121, NUMBEROCTOBER 2004 Add to Reading List Source URL: yangtze.hku.hk Language: English - Date: 2010-12-19 08:35:06 Computational chemistry Quantum chemistry Atomic physics Density functional theory Hybrid functional Hartree–Fock method Basis set Ab initio quantum chemistry methods Electronic correlation Chemistry Physics Theoretical chemistry
954	Lower bounds based on the Exponential Time Hypothesis Daniel Lokshtanov∗ Dániel Marx† Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-05-30 15:14:06 NP-complete problems Complexity classes Mathematical optimization Analysis of algorithms Parameterized complexity Exponential time hypothesis NP-complete Time complexity Feedback vertex set Theoretical computer science Computational complexity theory Applied mathematics
955	c 2008 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 8, No. 4, pp, 2008 Add to Reading List Source URL: www.ims.cuhk.edu.hk Language: English - Date: 2009-02-19 09:36:24 Stability theory Differential operators Dynamical system Diffeomorphism Lyapunov stability Limit set Fixed point Brouwer fixed-point theorem Nonlinear control Mathematical analysis Mathematics Calculus
956	Computation of the Best-fitting Flat for a Set of Points Gary D. Knott, Ph.D. Civilized Software, IncHeritage Park Circle Silver Spring MDTel.: ( Add to Reading List Source URL: www.civilized.com Language: English - Date: 2009-08-20 17:05:41 Singular value decomposition Matrix theory Data analysis Principal component analysis Eigenvalues and eigenvectors Eigendecomposition of a matrix Generalized eigenvector Algebra Linear algebra Mathematics
957	Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:35:55 Logic Logic programming Constructible universe Mathematics Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Belief revision Knowledge representation
958	Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg˚ard ∗ University of Aarhus Denmark Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-22 03:42:39 Set theory Boolean algebra Complete Boolean algebra Forcing Order theory Tree Mathematical logic Large cardinals Mathematics
959	1 Fixed-Parameter Tractability In this chapter, we introduce parameterized problems and the notion of fixed-parameter tractability. We start with an informal discussion that highlights the main issues behind the definiti Add to Reading List Source URL: lii.rwth-aachen.de Language: English - Date: 2014-02-04 08:14:43 NP-complete problems Analysis of algorithms Computability theory Complexity classes Parameterized complexity Dominating set Time complexity Computable function Parameter Theoretical computer science Computational complexity theory Applied mathematics

UPDATE